2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Volume 56)
Автор:
Alan Bundy
, Автор:
David Basin
, Автор:
Dieter Hutter
, Автор:
Andrew Ireland
Размер книги: 996 Kb
The Nature of Mathematical Proof (Philosophical Transactions of the Royal Society A)
Автор:
Alan Bundy
, Автор:
Michael Atiyah
, Автор:
Angus Macintyre
, Автор:
Donald MacKenzie (Editors)
Размер книги: 3.12 Mb
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy
Автор:
Michael Kohlhase
Размер книги: 3.46 Mb
Rippling: Meta-Level Guidance for Mathematical Reasoning
Автор:
Alan Bundy
, Автор:
David Basin
, Автор:
Dieter Hutter
, Автор:
Andrew Ireland
Размер книги: 2.08 Mb
Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings
Автор:
Alan Bundy
Размер книги: 8.06 Mb
